As per design direction, reduce the maximum workspaces thumbnails to 5% of the
primary monitor size.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>
const Main = imports.ui.main;
const Workspace = imports.ui.workspace;
-// The maximum size of a thumbnail is 1/10 the width and height of the screen
-var MAX_THUMBNAIL_SCALE = 1 / 10.;
+// The maximum size of a thumbnail is 5% the width and height of the screen
+var MAX_THUMBNAIL_SCALE = 0.05;
var RESCALE_ANIMATION_TIME = 200;
var SLIDE_ANIMATION_TIME = 200;